Associative property - PDFSEARCH.IO - Document Search Engine

Associative property
Results: 53

#	Item
11	CATEGORICAL AND SEMIGROUP-THEORETIC DESCRIPTIONS OF BASS-SERRE THEORY M. V. LAWSON AND A. R. WALLIS Abstract. Self-similar group actions may be encoded by a class of left cancellative monoids called left Rees monoids. Th Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2013-09-13 10:45:54 Algebraic structures Semigroup theory Category theory Non-associative algebra Cancellation property Monoid Groupoid Functor Magma Free monoid Inverse element Semigroup
12	A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin. Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2014-01-23 06:18:08 Mathematics Mathematical logic Logic Automated theorem proving Logic programming Set theory Mathematical notation Set-builder notation Substitution Universal quantification FO Associative property
13	We start with the module header: module Agda where open import Relation.Binary.PropositionalEquality open ≡-Reasoning open import Data.Function using (_◦_) This is the identity function: Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Universal quantification Associative property Type Logic Mathematics Abstract algebra Quantification
14	Taxpayer Association of Oregon PAC: 2003 Legislative Scorecard House Oregon Watchdog.com Taxpayer Association Add to Reading List Source URL: oregonwatchdog.com Language: English - Date: 2012-10-31 00:12:14 Elementary algebra Functional analysis Mathematics Abstract algebra Associative property
15	A prettier printer Philip Wadler Joyce Kilmer and most computer scientists agree: there is no poem as lovely as a tree. In our love affair with the tree it is parsed, pattern matched, pruned — and printed. A pretty pri Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:39 ALGOL 68 Associative property Microsoft Word Software Computing Programming language theory
16	RESEARCH/CREATIVE ACTIVITY GRANTS COMMITTEE LISTING OF FUNDED ACADEMIC GRANTS Academic Year 1978 – Present Progress and/or Completion Reports are requested from the grant recipients in August of each year. A report has Add to Reading List Source URL: www.ecu.edu Language: English - Date: 2015-04-02 17:38:37 Mathematics Function Associative property
17	SARDANA : An Abstract Interpretation Based Tool for Optimization of Numerical Expressions in LUSTRE Programs Arnault Ioualalen, Matthieu Martel University of Perpignan Via Domitia Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2010-09-23 03:17:29 Associative property Field C Ring Algebra Mathematics Algebraic structures
18	American Computer Science LeagueIntermediate Division Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:35 Initialisms XYZ Elementary algebra Triangle geometry Boolean algebra Associative property Mathematics Algebra Geometry
19	American Computer Science League Classroom Division Contest #3 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:33 Associative property Boolean algebra Initialisms XYZ Elementary algebra
20	Physics, Topology, Logic, and Computation: A Rosetta Stone John C. Baez UC Riverside Mike Stay Google, U. of Auckland Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2009-05-05 19:03:37 Morphism Product Cobordism Category Associative property Cartesian closed category Functor Category theory Mathematics Algebra